Using TLB Speculation to Overcome Page Splintering in Virtual Machines
نویسندگان
چکیده
As systems provide increasing memory capacities to support memory-intensive workloads, Translation Lookaside Buffers (TLBs) are becoming a critical performance bottleneck. TLB performance is exacerbated with virtualization, which is typically implemented with two-dimensional nested page tables. While virtualization vendors recommend using large pages to mitigate TLB overheads, in practice, page splintering (where the guest utilizes large pages, only to be broken by the hypervisor, or vice-versa) is prevalent and severely restricts largepage benefits. We characterize real-system page allocation behavior under virtualization and find that the guest operating system (OS) often aggressively allocates large pages, which are then broken by the hypervisor to baseline pages. However, in trying to allocate large pages, the hypervisor can (and does) often allocate these baseline system physical pages in aligned, contiguous frames with respect to the application’s guest virtual address. In response, we propose hardware to, on TLB misses, speculate on the system physical address based on the application’s virtual address. TLB speculation can be readily overlaid on various TLB organizations and is effective under a wide range of real-world virtual machine deployments. Overall, TLB speculation eliminates almost all of the TLB handling overheads of virtualization.
منابع مشابه
Verification of TLB Virtualization Implemented in C
Efficient TLB virtualization is a core component of modern hypervisors. Verifying such code is challenging; the code races with TLB virtualization code in other processors, with other guest threads, and with the hardware TLBs, and implements an abstract TLB that races with other abstract TLBs and guest threads. We give a general methodology for verifying virtual device implementations, and demo...
متن کاملScmfs Performance Enhancement and Implementation on Mobile Platform
SCMFS Performance Enhancement and Implementation on Mobile Platform. (August 2012) Qian Cao, B.S., Huazhong University of Science and Technology; M.S., Huazhong University of Science and Technology Chair of Advisory Committee: Dr. A.L.Narasimha Reddy This thesis presents a method for enhancing performance of Storage Class Memory File System (SCMFS) and an implementation of SCMFS on Android plat...
متن کاملImproving the Address Translation Performance of Widely Shared Pages
Operating systems allow multiple processes to share physical objects, e.g., shared libraries, System V shared memory. Many UNIX® implementations allow processes to use different virtual addresses known as aliases to map a shared physical page. Each alias traditionally requires separate page table and translation lookaside buffer (TLB) entries that contain identical translation information. In s...
متن کاملMulti-dimensional Translation Lookaside Buuers
The steady reduction in physical memory costs, increases in memory density, CPU speed, virtual address size, application complexity and working set size are placing pressure on the overall performance of computer systems. In particular, pressures are increasing on the address translation mechanism as greater process execution time is being consumed by virtual memory management mechanisms. Many ...
متن کاملGuarded Page Tables on the MIPS R
The introduction of bit microprocessors has increased demands placed on virtual memory systems The availability of large address spaces has led to a urry of new applications and operating systems that further stress virtual memory systems Consequently much interest has recently focussed on translation lookaside bu er TLB performance and page table e ciency Guarded Page Tables are a mechanism fo...
متن کامل